Considerations in Representation Selection for Problem Solving: A Review

Choosing how to represent knowledge effectively is a long-standing open problem. Cognitive science has shed light on the taxonomisation of representational systems from the perspective of cognitive processes, but a similar analysis is absent from the perspective of problem solving, where the representations are employed. In this paper we review how representation choices are made for solving problems in the context of theorem proving from three perspectives: cognition, heterogeneity, and computational demands. We contrast the different factors that are most important for each perspective in the context of problem solving to produce a list of considerations for developers of problem solving tools regarding representations that are appropriate for particular users and effective for specific problem domains

MaaSim: A Liveability Simulation for Improving the Quality of Life in Cities

Urbanism is no longer planned on paper thanks to powerful models and 3D simulation platforms. However, current work is not open to the public and lacks an optimisation agent that could help in decision making. This paper describes the creation of an open-source simulation based on an existing Dutch liveability score with a built-in AI module. Features are selected using feature engineering and Random Forests. Then, a modified scoring function is built based on the former liveability classes. The score is predicted using Random Forest for regression and achieved a recall of 0.83 with 10-fold cross-validation. Afterwards, Exploratory Factor Analysis is applied to select the actions present in the model. The resulting indicators are divided into 5 groups, and 12 actions are generated. The performance of four optimisation algorithms is compared, namely NSGA-II, PAES, SPEA2 and eps-MOEA, on three established criteria of quality: cardinality, the spread of the solutions, spacing, and the resulting score and number of turns. Although all four algorithms show different strengths, eps-MOEA is selected to be the most suitable for this problem. Ultimately, the simulation incorporates the model and the selected AI module in a GUI written in the Kivy framework for Python. Tests performed on users show positive responses and encourage further initiatives towards joining technology and public applications.Comment: 16 page

How to (Re)represent it?

Choosing an effective representation is fundamental to the ability of the representation’s user to exploit it for the intended purpose. The major contribution of this paper is to provide a novel, flexible framework, rep2rep, that can be used by AI systems to recommend effective representations. What makes an effective representation is determined by whether it expresses the necessary information, supports the execution of tasks, and reflects the user’s cognitive abilities. In general, there is no single ‘most effective’ representation for every problem and every user, which makes it difficult to choose one from the plethora of possible representations. To address this, rep2rep includes: a domain-independent language for describing representations, algorithms that compute measures of informational suitability and cognitive cost, and uses these measures to recommend representations. We demonstrate the application of rep2rep in the probability domain. Importantly, our framework provides the foundations for personalised interaction with AI systems in the context of representation choice

Correspondence-based analogies for choosing problem representations

Mathematics and computing students learn new concepts and fortify their expertise by solving problems. The representation of a problem, be it through algebra, diagrams, or code, is key to understanding and solving it. Multiple-representation interactive environments are a promising approach, but the task of choosing an appropriate representation is largely placed on the user. We propose a new method to recommend representations based on correspondences: conceptual links between domains. Correspondences can be used to analyse, identify, and construct analogies even when the analogical target is unknown. This paper explains how correspondences build on probability theory and Gentner's structure-mapping framework; proposes rules for semi-automated correspondence discovery; and describes how correspondences can explain and construct analogies

T cells in aging mice: genetic, developmental, and biochemical analyses

A combination of approaches – gene mapping, biomarker analysis, and studies of signal transduction – has helped to clarify the mechanisms of age-related change in mouse immune status and the implications of immune aging for late-life disease. Mapping studies have documented multiple quantitative trait loci (QTL) that influence the levels of age-sensitive T-cell subsets. Some of these QTL have effects that are demonstrable in young-adult mice (8 months of age) and others demonstrable only in middle-aged mice (18 months). Biomarker studies show that T-cell subset levels measured at 8 or 18 months are significant predictors of lifespan for mice dying of lymphoma, fibrosarcoma, mammary adenocarcinoma, or all causes combined. Mice whose immune systems resemble that of young animals, i.e. with low levels of CD4 + and CD8 + memory T cells and relatively high levels of CD4 + T cells, tend to outlive their siblings with the opposite subset pattern. Biochemical analyses show that T cells from aged mice show defects in the activation process within a few minutes of encountering a stimulus and that the defects precede the recognition by the T-cell receptor of agonist peptides on the antigen-presenting cell. Defective assembly of cytoskeletal fibers and hyperglycosylation of T-cell surface glycoproteins contribute to the immunodeficiency state, and indeed treatment with a sialylglycoprotein endopeptidase can restore full function to CD4 + T cells from aged donors in vitro .Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/75195/1/j.0105-2896.2005.00254.x.pd

Progression of renal cell carcinoma is inhibited by genistein and radiation in an orthotopic model

BACKGROUND: We have previously reported the potentiation of radiotherapy by the soy isoflavone genistein for prostate cancer using prostate tumor cells in vitro and orthotopic prostate tumor models in vivo. However, when genistein was used as single therapy in animal models, it promoted metastasis to regional para-aortic lymph nodes. To clarify whether these intriguing adverse effects of genistein are intrinsic to the orthotopic prostate tumor model, or these results could also be recapitulated in another model, we used the orthotopic metastatic KCI-18 renal cell carcinoma (RCC) model established in our laboratory. METHODS: The KCI-18 RCC cell line was generated from a patient with papillary renal cell carcinoma. Following orthotopic renal implantation of KCI-18 RCC cells and serial in vivo kidney passages in nude mice, we have established a reliable and predictable metastatic RCC tumor model. Mice bearing established kidney tumors were treated with genistein combined with kidney tumor irradiation. The effect of the therapy was assessed on the primary tumor and metastases to various organs. RESULTS: In this experimental model, the karyotype and histological characteristics of the human primary tumor are preserved. Tumor cells metastasize from the primary renal tumor to the lungs, liver and mesentery mimicking the progression of RCC in humans. Treatment of established kidney tumors with genistein demonstrated a tendency to stimulate the growth of the primary kidney tumor and increase the incidence of metastasis to the mesentery lining the bowel. In contrast, when given in conjunction with kidney tumor irradiation, genistein significantly inhibited the growth and progression of established kidney tumors. These findings confirm the potentiation of radiotherapy by genistein in the orthotopic RCC model as previously shown in orthotopic models of prostate cancer. CONCLUSION: Our studies in both RCC and prostate tumor models demonstrate that the combination of genistein with primary tumor irradiation is a more effective and safer therapeutic approach as the tumor growth and progression are inhibited both in the primary and metastatic sites

Absence of exchange interaction between localized magnetic moments and conduction-electrons in diluted Er3+ gold-nanoparticles

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)The Electron Spin Resonance (ESR) of diluted Er3+ magnetic ions in Au nanoparticles (NPs) is reported. The NPs were synthesized by reducing chloro triphenyl-phosphine gold(I) and erbium(III) trifluoroacetate. The Er3+ g-value along with the observed hyperfine splitting indicate that the Er3+ impurities are in a local cubic symmetry. Furthermore, the Er3+ ESR spectra show that the exchange interaction between the 4f and the conduction electrons (ce) is absent or negligible in Au1-xErx NPs, in contrast to the ESR results in bulk Au1-xErx. Therefore, the nature of this interaction needs to be reexamined at the nano scale range. (C) 2014 AIP Publishing LLC.11517Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq

Ultraviolet Completion of Flavour Models

Effective Flavour Models do not address questions related to the nature of the fundamental renormalisable theory at high energies. We study the ultraviolet completion of Flavour Models, which in general has the advantage of improving the predictivity of the effective models. In order to illustrate the important features we provide minimal completions for two known A4 models. We discuss the phenomenological implications of the explicit completions, such as lepton flavour violating contributions that arise through the exchange of messenger fields.Comment: 18 pages, 8 figure

Successful outcome of a pregnancy in a woman with advanced cirrhosis due to hepatitis B surface antigenemia, delta super-infection and hepatitis C co-infection: a case report

Pregnancy in women with advanced liver disease is rare. In this paper we described the case of a successful pregnancy in a young woman with advanced cirrhosis due to hepatitis B surface antigenemia, hepatitis delta super-infection and Hepatitis C co-infection. A brief review of the medical literature on pregnancy in women with cirrhosis is also presented

CD43-independent augmentation of mouse T-cell function by glycoprotein cleaving enzymes

Previous work has shown that the function of mouse CD4 + T cells can be augmented by an enzyme, O -sialoglycoprotein endopeptidase (OSGE), which cleaves surface CD43, suggesting the idea that the high levels of glycosylated CD43 found on T cells from aged mice may contribute to immune senescence. New results now show that OSGE improves T-cell function even in mice lacking CD43, showing that other glycoproteins must contribute to the OSGE effect on function. Evaluation of other enzymes found two whose ability to stimulate CD4 activation was higher in aged than in young T cells. One of these, PNGase F, is a glycosidase specific for N-linked glycans, and the other, ST-Siase(2,3) from Salmonella typhimurium , is specific for α2,3-linked terminal sialic acid residues. Parallel lectin-binding experiments showed that removal of α2,3-linked sialic acid residues vulnerable to PNGase F and ST-Siase(2,3) was also greater in old than in young T cells. The preferential ability of PNGase F and ST-Siase(2,3) to improve the function of T cells from aged mice may involve cleavage of glycoproteins containing α2,3-linked sialic acid residues on N-linked or O-linked glycans or both.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/75621/1/j.1365-2567.2006.02419.x.pd